more on this theme | more from this thinker | more from this text
Full Idea
If a theory is to serve its purpose of orienting and ordering, it must first give us an overview of the independence and dependence of its propositions, and second give a guarantee of the consistency of all of the propositions.
Gist of Idea
Axioms must reveal their dependence (or not), and must be consistent
Source
David Hilbert (Axiomatic Thought [1918], [09])
Book Ref
'From Kant to Hilbert: sourcebook Vol. 2', ed/tr. Ewald,William [OUP 1996], p.1109
A Reaction
Gödel's Second theorem showed that the theory can never prove its own consistency, which made the second Hilbert requirement more difficult. It is generally assumed that each of the axioms must be independent of the others.